orthogonal vectors and orthogonal projection